.paging-controls {
	margin : 1em 0 1em 0 ;
}

.page-number {
	cursor : pointer ;
	color : red ;
}

.preceding-page-number {
	cursor : pointer ;
	color : red ;
	font-size : 200% ;
}

.current-page-number {
	font-weight : bold ;
	font-size : 200% ;
}

.following-page-number {
	cursor : pointer ;
	color : red ;
	font-size : 200% ;
}

.index-entry-label {
	font-size : 150% ;
}

.index-entry-count {
	color : #88f ;
}